Specification-Guided Reinforcement Learning

Mar 25

Written By Centaur Info

https://neus-2025.github.io/files/papers/paper_48.pdf,

Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, and Rajeev Alur

Admin for site, used by JW

Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs)

Stochastic Neural Simulation Relations for Transferring Control under Uncertainty